f() ->
  true andalso false.